Feeds to Scour
SubscribedAll
Scoured 120596 posts in 552.8 ms
Deep C Dives: Undefined Behavior
i-programmer.info·23h
🔀Concurrency
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·1d
📐Formal Methods
Webinar on how to build your own programming language in C++ from the developers of a static analyzer
pvs-studio.com·1d·
Discuss: r/cpp
📐Formal Methods
Functional Programming in an LLM World
notes.druchan.com·1d
📐Formal Methods
D Programming Language
dlang.org·6h·
Discuss: Hacker News
📐Formal Methods
SMTLIB as a Compiler IR I
philipzucker.com·3d·
Discuss: Hacker News
📐Formal Methods
Benchmarking Claude C Compiler
dineshgdk.substack.com·2d·
Discuss: Substack, r/programming
🔀Concurrency
Art of Computer programming.
dev.to·3h·
Discuss: DEV
📐Formal Methods
Proof-oriented Programming in F*
fstar-lang.org·7h·
Discuss: Lobsters
📐Formal Methods
Show HN: Valk programming language with a stateful GC
github.com·3d·
Discuss: Hacker News, Hacker News, r/coding
📐Formal Methods
LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation
arxiv.org·2d
📐Formal Methods
6 niche programming languages developers secretly love
howtogeek.com·33m
📐Formal Methods
A Note on Flat Abstract Syntax Trees
gist.github.com·2d·
Discuss: Hacker News
📐Formal Methods
Designing and Using Combinators: The Essence of Functional Programming
cse.chalmers.se·2d·
Discuss: Hacker News
📐Formal Methods
vindarel: 🖌️ Lisp screenshots: today's Common Lisp applications in action
lisp-journey.gitlab.io·13h
📐Formal Methods
maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.
github.com·1d·
Discuss: Hacker News
📐Formal Methods
Build a Compiler in Five Projects
kmicinski.com·5d
📐Formal Methods
Scripting on the JVM with Java, Scala, and Kotlin
mill-build.org·1h·
Discuss: Hacker News, r/programming
🔍Property Testing
CMU Flite: Speech Synthesizer
festvox.org·13h
📐Formal Methods
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·19h·
Discuss: Lobsters
🐛AFL

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help